A relationship between trees and Kelly-Mac Lane graphs
نویسنده
چکیده
We give a precise description of combed trees in terms of KellyMac Lane graphs. We show that any combed tree is uniquely expressed as an allowable Kelly-Mac Lane graph of a certain shape. Conversely, we show that any such Kelly-Mac Lane graph uniquely defines a combed tree.
منابع مشابه
The theory of opetopes via Kelly-Mac Lane graphs
This paper follows from the work of [4] and [3]. In the former paper we give an explicit construction of opetopes, the underlying cell shapes in the theory of opetopic n-categories; at the heart of this construction is the use of certain trees. In the latter paper we give a description of trees using Kelly-Mac Lane graphs. In the present paper we apply the latter to the former, to give a constr...
متن کاملModelling Linear Logic Without Units (Preliminary Results)
Proof nets for MLL, unit-free Multiplicative Linear Logic (Girard, 1987), provide elegant, abstract representations of proofs. Cut-free MLL proof nets form a category, under path composition, in the manner of EilenbergKelly-Mac Lane graphs (Eilenberg and Kelly, 1966; Kelly and Mac Lane, 1971). Objects are formulas of MLL, and a morphism A → B, a proof net from A to B, is a linking or matching b...
متن کاملA pr 2 00 5 Modelling Linear Logic without Units ( Preliminary Results )
Proof nets for MLL, unit-free Multiplicative Linear Logic (Girard, 1987), provide elegant, abstract representations of proofs. Cut-free MLL proof nets form a category, under path composition, in the manner of EilenbergKelly-Mac Lane graphs (Eilenberg and Kelly, 1966; Kelly and Mac Lane, 1971). Objects are formulas of MLL, and a morphism A → B, a proof net from A to B, is a linking or matching b...
متن کاملSurvey of Relationship between Input Parameters and Calculated Suspended Sediment Discharge by Bagnold and Lane - Kalinske Method (Bazoft River, Iran)
In this paper, two formulas were chosen among those that estimate the suspendedsediment discharge in rivers. These two formulas were Lane and Kalinske and Bagnold. Forstudying and knowing the correlation between input parameters and calculated suspendedsediment discharge (CSSD), the SPSS17 software was used. Input parameters in these twoformulas were as: water velocity, water discharge, suspend...
متن کاملA study on some properties of leap graphs
In a graph G, the first and second degrees of a vertex v is equal to thenumber of their first and second neighbors and are denoted by d(v/G) andd 2 (v/G), respectively. The first, second and third leap Zagreb indices are thesum of squares of second degrees of vertices of G, the sum of products of second degrees of pairs of adjacent vertices in G and the sum of products of firs...
متن کامل